workspace-thumbnails: Add a subtle border to indicator

As windows' content tends to use mostly light colors/white, the
thumbnail indicator is hard to spot for workspaces with maximized
windows on it. To improve its visibility in these cases, add a
subtle dark border in addition to the white outline.

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index caaa5c425ccf523fc1ee9575542ecc8dffd5616a..81f3bd1ad000267a3fe54f043a827be0d8e49188 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -353,6 +353,7 @@ StTooltip StLabel {
 
 .workspace-thumbnail-indicator {
     outline: 2px solid white;
+    border: 1px solid #888;
 }
 
 .window-caption {